Some Properties of Linear Logic Proved by Semantic Methods
نویسنده
چکیده
We construct several simple algebraic models of the multiplicative and multi-plicative-additive fragments of linear logic and demonstrate the value of such models by proving some unexpected proof-theoretical properties of these fragments .
منابع مشابه
SOME PROPERTIES FOR FUZZY CHANCE CONSTRAINED PROGRAMMING
Convexity theory and duality theory are important issues in math- ematical programming. Within the framework of credibility theory, this paper rst introduces the concept of convex fuzzy variables and some basic criteria. Furthermore, a convexity theorem for fuzzy chance constrained programming is proved by adding some convexity conditions on the objective and constraint functions. Finally,...
متن کاملThe concept of logic entropy on D-posets
In this paper, a new invariant called {it logic entropy} for dynamical systems on a D-poset is introduced. Also, the {it conditional logical entropy} is defined and then some of its properties are studied. The invariance of the {it logic entropy} of a system under isomorphism is proved. At the end, the notion of an $ m $-generator of a dynamical system is introduced and a version of the Kolm...
متن کاملSome results on Haar wavelets matrix through linear algebra
Can we characterize the wavelets through linear transformation? the answer for this question is certainly YES. In this paper we have characterized the Haar wavelet matrix by their linear transformation and proved some theorems on properties of Haar wavelet matrix such as Trace, eigenvalue and eigenvector and diagonalization of a matrix.
متن کاملLock, Linear Lambda-Paramodulation in Operator Fuzzy Logic
The author proposed concepts of Operator Fuzzy Logic and-Resolution in 1984. He and his cooperaters have obtained some theoretical results. This paper introduces-paramodulation to handle a set of clauses with the predicate of equality, and thus the equality substitution can be used in fuzzy reasoning. Then the-paramodulation method is proved to be complete with lock-semantic method. Finally, Ya...
متن کاملSome properties of continuous linear operators in topological vector PN-spaces
The notion of a probabilistic metric space corresponds to thesituations when we do not know exactly the distance. Probabilistic Metric space was introduced by Karl Menger. Alsina, Schweizer and Sklar gave a general definition of probabilistic normed space based on the definition of Menger [1]. In this note we study the PN spaces which are topological vector spaces and the open mapping an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Comput.
دوره 4 شماره
صفحات -
تاریخ انتشار 1994